functor F (
  A : sig
    val x : int
  end
) =
struct
end
